/*@ */
void main()
{ 
  int** i;
  int j;
  i = alloc(int*);
  j = f(i);
  return ;
}
/*@ */

/*@ */
int f(int** i)
{
  **i = 1;
  return (**i);
}
/*@ result ==1 */